template< class dummy_PMetaLambda_PMetaPrograms_>
struct app_matching< Int<0>, dummy_PMetaLambda_PMetaPrograms_>
{
  struct _:  Bool<true>    //Resultado para isTrue 0
  {
  typedef Bool<true> ::value value;
  };
};
template< class x, class>
struct app_matching
{
  struct _:  Bool<false>   //Resultado para el caso geneico
  {
  typedef Bool<false> ::value value;
  };
};